klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --b=simple /tmp/tmp0/a~ /tmp/tmp0/a
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=existing x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=never x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=nil x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=none x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=numbered x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=off x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=simple --suffix=.orig x a
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=simple a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=simple x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --backup=t x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --help
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --interactive --reply=no a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --reply=no a/bar a/foo b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --target=.
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --target=f2 f1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --update new old
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --update old new
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --verbose --backup=numbered -T A B
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --verbose mv-null mv-dir /tmp/tmp0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --verbose x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc --version
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -T d e/
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -T s1 s2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -b /tmp/tmp0/rem_reg loc_sl
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -b /tmp/tmp0/rem_sl loc_reg
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -b loc_reg /tmp/tmp0/rem_sl
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -b loc_sl /tmp/tmp0/rem_reg
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -f k /tmp/tmp0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -f out-t out
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -fT d empty
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -fT f e2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -fT src d2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -fi c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -i a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -if a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc -u d e/
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc ./a a d/
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc /tmp/tmp0/file symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc /tmp/tmp0/rem_reg loc_sl
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc /tmp/tmp0/rem_sl loc_reg
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc a a d/
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc a b /tmp/tmp0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc a b c dst
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc a/f b/f b/g c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc a/f b/f c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc a/f b/g c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc b/t a
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc d e
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc d e/
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc dir file
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc f g /tmp/tmp0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc f1 f2 f1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc file /tmp/tmp0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc file dir
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc foo/ /tmp/tmp0/bar
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc foo/ bar
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc hlink /tmp/tmp0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc in-0 in2-0
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc is3-dir1 is3-dir2 is3-dir2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc loc_reg /tmp/tmp0/rem_sl
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc loc_sl /tmp/tmp0/rem_reg
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc mvforce mvforce
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc mvforce mvforce2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc no-file
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc no-write/dir .
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc o1 out
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc o2 out
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc o2 output
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc s s
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc symlink /tmp/tmp0/file
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc to-sym-1864 /tmp/tmp0/symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify mv.bc toself-dir toself-file toself-dir
